This thesis contends that the possession of a sense of humour would contribute considerably to the quality of human life. It is an exploration and discussion of some of the difficulties involved in justifying the development of humour in terms of a philosophy of education. In light of developments in the digital age with consequent changes in science, technology and society, the educated person of the future will have to be less concerned with the accumulated knowledge of the past than (...) with the development and interplay of social and natural environments. Such a person will need to have, more than ever, a sense of what is truly real and what is truly valuable in human life. If the primary purpose of education is the preparation of students for their future lives, educators are now faced with some challenging problems. Apart from the high social value of laughter, there is a recognized relationship between humour and intelligence. Knowing that the two are related proves to be a key factor in understanding the learning process and assuring that the development of a sense of humour in education is worthy of consideration. (shrink)

David Stove reviews Selwyn Grave's History of Philosophy in Australia, and praises philosophers for thinking harder about the bases of science, mathematics and medicine than the practitioners in the field. The review is reprinted as an appendix to James Franklin's Corrupting the Youth: A History of Philosophy in Australia.

This paper argues that the concept and role of ‘institutional racism’ in contemporary discussions of race should be reconsidered. It starts by distinguishing between ‘intrinsic institutional racism’, which holds that institutions are racist in virtue of their constitutive features, and ‘extrinsic institutional racism’, which holds that institutions are racist in virtue of their negative effects. It accepts intrinsic institutional racism, but argues that a ‘disparate impact’ conception of extrinsic conception faces a number of objections, the most serious being that it (...) has no plausible account of what it is that makes extrinsically racist institutions racist. It also argues that claims about the explanatory indispensability of institutional racism are overstated (individual racism is at least as important), critiques structural approaches to racial inequality, and suggests that there is reason to doubt whether institutional reform can provide us with all that morality may require in the racial domain. (shrink)

This article discusses the adequacy of Rawls’ theory of justice as a tool for racial justice. It is argued that critics like Charles W Mills fail to appreciate both the insights and limits of the Rawlsian framework. The article has two main parts spread out over several different sections. The first is concerned with whether the Rawlsian framework suffices to prevent racial injustice. It is argued that there are reasons to doubt whether it does. The second part is concerned with (...) whether a Rawlsian framework has the resources to rectify past racial injustice. It is argued that it has more resources to do this than Mills allows. This second part of the article centers on two Rawlsian ideas: ideal theory and the fair equality of opportunity principle. It is argued that ideal theory is essential for the kind of rectificatory work that Mills wants nonideal theory to do, and that where there is a socioeconomic legacy of past injustice, it is hard to see how FEO could be implemented if it did no rectificatory work, a result which means that there is less need to turn to nonideal theory at all. (shrink)

I claim that a relatively new position in philosophy of mathematics, pluralism, overlaps in striking ways with the much older Jain doctrine of anekantavada and the associated doctrines of nyayavada and syadvada. I first outline the pluralist position, following this with a sketch of the Jain doctrine of anekantavada. I then note the srrong points of overlaps and the morals of this comparison of pluralism and anekantavada.

Revealed that Bertrand Russell's Wisdom of the West was most likely actually written by its "editor", Paul Foulkes, in view of the prominence in the text of the ideas of Foulkes' teacher, John Anderson. That suspicion later turned out to be true.

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to (...) be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing. (shrink)

In his 1918 logical atomism lectures, Russell argued that there are no molecular facts. But he posed a problem for anyone wanting to avoid molecular facts: we need truth-makers for generalizations of molecular formulas, but such truth-makers seem to be both unavoidable and to have an abominably molecular character. Call this the problem of generalized molecular formulas. I clarify the problem here by distinguishing two kinds of generalized molecular formula: incompletely generalized molecular formulas and completely generalized molecular formulas. I next (...) argue that, if empty worlds are logically possible, then the model-theoretic and truth-functional considerations that are usually given address the problem posed by the first kind of formula, but not the problem posed by the second kind. I then show that Russell’s commitments in 1918 provide an answer to the problem of completely generalized molecular formulas: some truth-makers will be non-atomic facts that have no constituents. This shows that the neo-logical atomist goal of defending the principle of atomicity—the principle that only atomic facts are truth-makers—is not realizable. (shrink)

I characterize and argue against the standard interpretation of logical atomism. The argument against this reading is historical: the standard interpretation of logical atomism (1) fails to explain how the view is inspired by nineteenth-century developments in mathematics, (2) fails to explain how logic is central to logical atomism, and (3) fails to explain how logical atomism is a revolutionary and new "scientific philosophy." In short, the standard interpretation is a bad history of logical atomism. A novel interpretation of the (...) view that repairs these difficulties is sketched in the concluding section. (shrink)

We examine the influence of word choices on mathematical practice, i.e. in developing definitions, theorems, and proofs. As a case study, we consider Euclid’s and Euler’s word choices in their influential developments of geometry and, in particular, their use of the term ‘polyhedron’. Then, jumping to the twentieth century, we look at word choices surrounding the use of the term ‘polyhedron’ in the work of Coxeter and of Grünbaum. We also consider a recent and explicit conflict of approach between Grünbaum (...) and Shephard on the one hand and that of Hilton and Pedersen on the other, elucidating that the conflict was engendered by disagreement over the proper conceptualization, and so also the appropriate word choices, in the study of polyhedra. (shrink)

I investigate the role of stability in cosmology through two episodes from the recent history of cosmology: Einstein’s static universe and Eddington’s demonstration of its instability, and the flatness problem of the hot big bang model and its claimed solution by inflationary theory. These episodes illustrate differing reactions to instability in cosmological models, both positive ones and negative ones. To provide some context to these reactions, I also situate them in relation to perspectives on stability from dynamical systems theory and (...) its epistemology. This reveals, for example, an insistence on stability as an extreme position in relation to the spectrum of physical systems which exhibit degrees of stability and fragility, one which has a pragmatic rationale, but not any deeper one. (shrink)

The impetus theory of motion states that to be in motion is to have a non-zero velocity. The at-at theory of motion states that to be in motion is to be at different places at different times, which in classical physics is naturally understood as the reduction of velocities to position developments. I first defend the at-at theory against the criticism raised by Arntzenius that it renders determinism impossible. I then develop a novel impetus theory of motion that reduces positions (...) to velocity developments. As this impetus theory of motion is by construction a mirror image of the at-at theory of motion, I claim that the two theories of motion are in fact epistemically on par—despite the unfamiliar metaphysical picture of the world furnished by the impetus version. (shrink)

Philosophical debates on how to account for the progress of science have traditionally divided along the realism-anti-realism axis. Relatively recent developments in epistemology, however, have opened up a new knowledge-understanding axis to the debate. This chapter presents a novel understanding-based account of scientific progress that takes its motivation from problem-solving practices in science. Problem-solving is characterized as a means of measuring degree of understanding, which is argued to be the principal epistemic (or cognitive) aim of science, over and against knowledge. (...) This account is then defended against knowledge reductionism by showing how each plays an important and distinctive role in science. (shrink)

In earlier work, I predicted that we would probably not be able to determine the colors of the dinosaurs. I lost this epistemic bet against science in dramatic fashion when scientists discovered that it is possible to draw inferences about dinosaur coloration based on the microstructure of fossil feathers (Vinther et al., 2008). This paper is an exercise in philosophical error analysis. I examine this episode with two questions in mind. First, does this case lend any support to epistemic optimism (...) about historical science? Second, under what conditions is it rational to make predictions about what questions scientists will or will not be able answer? In reply to the first question, I argue that the recent work on the colors of the dinosaurs matters less to the debate about the epistemology of historical science than it might seem. In reply to the second question, I argue that it is difficult to specify a policy that would rule out the failed bet without also being too conservative. (shrink)

ABSTRACT: This article explores the role of principal leadership in creating a thinking school. It contributes to the school leadership literature by exploring the intersection of two important areas of study in education  school leadership and education for thinking  which is a particularly apt area of study, because effective school leadership is crucial if students are to learn to be critical and creative thinkers, yet this connection has not be widely investigated. We describe how one principal, Hinton, turned (...) around an underperforming school by using critical and creative philosophical thinking as the focus for students, staff and parents. Then, drawing on the school leadership literature, the article describes seven attributes of school leadership beginning with four articulated by Leithwood and colleagues (2006) (building vision and setting direction; redesigning the organisation; understanding and developing people; managing the teaching and learning program), and adding three others (influence; self-development; and responding to context). This framework is then used in a case study format in a collaboration between practitioner and researchers to first explore evidence from empirical studies and personal reflection about Hinton’s leadership of Buranda State School, and second to illuminate how these general features of school leadership apply to creating a thinking school. Based on the case study and using the general characteristics of school leadership, a framework for leading a thinking school is described. Because the framework is based on a turnaround school, this framework has wide applicability: to schools that are doing well as an indication of how to implement a contemporary approach to curriculum and pedagogy; and to schools that are underperforming and want a rigorous, high expectation and contemporary way to improve student learning. (shrink)

In this paper I propose an interpretation of classical statistical mechanics that centers on taking seriously the idea that probability measures represent complete states of statistical mechanical systems. I show how this leads naturally to the idea that the stochasticity of statistical mechanics is associated directly with the observables of the theory rather than with the microstates (as traditional accounts would have it). The usual assumption that microstates are representationally significant in the theory is therefore dispensable, a consequence which suggests (...) interesting possibilities for developing non-equilibrium statistical mechanics and investigating inter-theoretic answers to the foundational questions of statistical mechanics. (shrink)

Eliminative reasoning is a method that has been employed in many significant episodes in the history of science. It has also been advocated by some philosophers as an important means for justifying well-established scientific theories. Arguments for how eliminative reasoning is able to do so, however, have generally relied on a too narrow conception of evidence, and have therefore tended to lapse into merely heuristic or pragmatic justifications for their conclusions. This paper shows how a broader conception of evidence not (...) only can supply the needed justification but also illuminates the methodological significance of eliminative reasoning in a variety of contexts. (shrink)

I discuss the formal implementation, interpretation, and justification of likelihood attributions in cosmology. I show that likelihood arguments in cosmology suffer from significant conceptual and formal problems that undermine their applicability in this context.

Readers familiar with the workhorse of cosmology, the hot big bang model, may think that cosmology raises little of interest about time. As cosmological models are just relativistic spacetimes, time is understood just as it is in relativity theory, and all cosmology adds is a few bells and whistles such as inflation and the big bang and no more. The aim of this chapter is to show that this opinion is not completely right...and may well be dead wrong. In our (...) survey, we show how the hot big bang model invites deep questions about the nature of time, how inflationary cosmology has led to interesting new perspectives on time, and how cosmological speculation continues to entertain dramatically different models of time altogether. Together these issues indicate that the philosopher interested in the nature of time would do well to know a little about modern cosmology. (shrink)

We introduce a novel point of view on the “models as mediators” framework in order to emphasize certain important epistemological questions about models in science which have so far been little investigated. To illustrate how this perspective can help answer these kinds of questions, we explore the use of simplified models in high energy physics research beyond the Standard Model. We show in detail how the construction of simplified models is grounded in the need to mitigate pressing epistemic problems concerning (...) the uncertainty inherent in the present theoretical and experimental contexts. (shrink)

The conspicuous similarities between interpretive strategies in classical statistical mechanics and in quantum mechanics may be grounded on their employment of common implementations of probability. The objective probabilities which represent the underlying stochasticity of these theories can be naturally associated with three of their common formal features: initial conditions, dynamics, and observables. Various well-known interpretations of the two theories line up with particular choices among these three ways of implementing probability. This perspective has significant application to debates on primitive ontology (...) and to the quantum measurement problem. (shrink)

I present a recent historical case from cosmology—the story of inflationary cosmology—and on its basis argue that solving explanatory problems is a reliable method for making progress in science. In particular, I claim that the success of inflationary theory at solving its predecessor’s explanatory problems justified the theory epistemically, even in advance of the development of novel predictions from the theory and the later confirmation of those predictions.

Several physicists, among them Hawking, Page, Coule, and Carroll, have argued against the probabilistic intuitions underlying fine-tuning arguments in cosmology and instead propose that the canonical measure on the phase space of Friedman-Robertson-Walker space-times should be used to evaluate fine-tuning. They claim that flat space-times in this set are actually typical on this natural measure and that therefore the flatness problem is illusory. I argue that they misinterpret typicality in this phase space and, moreover, that no conclusion can be drawn (...) at all about the flatness problem by using the canonical measure alone. (shrink)

Now it is plain that such consequences as these conflict sharply with common-sense notions of morality. If we had been obliged to accept Psychological Egoism, in any of its narrower forms, on its merits, we should have had to say: 'So much the worse for the common-sense notions of morality!' But, if I am right, the morality of common sense, with all its difficulties and incoherences, is immune at least to attacks from the basis of Psychological Egoism.

Shortages of new therapeutics to treat coronavirus disease (COVID-19) have forced clinicians, public health officials, and health systems to grapple with difficult questions about how to fairly allocate potentially life-saving treatments when there are not enough for all patients in need (1). Shortages have occurred with remdesivir, tocilizumab, monoclonal antibodies, and the oral antiviral Paxlovid (2) -/- Ensuring equitable allocation is especially important in light of the disproportionate burden experienced during the COVID-19 pandemic by disadvantaged groups, including Black, Hispanic/Latino and (...) Indigenous communities, individuals with certain disabilities, and low-income persons. However, many health systems have resorted to first-come, first-served approaches to allocation, which tend to disadvantage individuals with barriers in access to care (3). There is mounting evidence of racial, ethnic, and socioeconomic disparities in access to medications for COVID-19 (4, 5). -/- One potential method to promote equitable allocation is to use a weighted lottery, which is an allocation strategy that gives all eligible patients a chance to receive the scarce treatment while also allowing the assignment of higher or lower chances according to other ethical considerations (6). We sought to assess the feasibility of implementing a weighted lottery to allocate scarce COVID-19 medications in a large U.S. health system and to determine whether the weighted lottery promotes equitable allocation. (shrink)

Psychopaths routinely disregard social norms by engaging in selfish, antisocial, often violent behavior. Commonly characterized as mentally disordered, recent evidence suggests that psychopaths are executing a well-functioning, if unscrupulous strategy that historically increased reproductive success at the expense of others. Natural selection ought to have favored strategies that spared close kin from harm, however, because actions affecting the fitness of genetic relatives contribute to an individual’s inclusive fitness. Conversely, there is evidence that mental disorders can disrupt psychological mechanisms designed to (...) protect relatives. Thus, mental disorder and adaptation accounts of psychopathy generate opposing hypotheses: psychopathy should be associated with an increase in the victimization of kin in the former account but not in the latter. Contrary to the mental disorder hypothesis, we show here in a sample of 289 violent offenders that variation in psychopathy predicts a decrease in the genetic relatedness of victims to offenders; that is, psychopathy predicts an increased likelihood of harming non-relatives. Because nepotistic inhibition in violence may be caused by dispersal or kin discrimination, we examined the effects of psychopathy on (1) the dispersal of offenders and their kin and (2) sexual assault frequency (as a window on kin discrimination). Although psychopathy was negatively associated with coresidence with kin and positively associated with the commission of sexual assault, it remained negatively associated with the genetic relatedness of victims to offenders after removing cases of offenders who had coresided with kin and cases of sexual assault from the analyses. These results stand in contrast to models positing psychopathy as a pathology, and provide support for the hypothesis that psychopathy reflects an evolutionary strategy largely favoring the exploitation of non-relatives. (shrink)

Hermann Weyl was one of the most important figures involved in the early elaboration of the general theory of relativity and its fundamentally geometrical spacetime picture of the world. Weyl’s development of “pure infinitesimal geometry” out of relativity theory was the basis of his remarkable attempt at unifying gravitation and electromagnetism. Many interpreters have focused primarily on Weyl’s philosophical influences, especially the influence of Husserl’s transcendental phenomenology, as the motivation for these efforts. In this article, I argue both that these (...) efforts are most naturally understood as an outgrowth of the distinctive mathematical-physical tradition in Göttingen and also that phenomenology has little to no constructive role to play in them. (shrink)

O artigo oferece uma breve exposição da biografia e do contexto histórico do filósofo neoplatônico Damáscio (c. 458 - c. 538) para, na sequência, apresentar a tradução de um dos seus poemas líricos do período final de sua vida. O procedimento adotado justifica-se pelo caráter lutuoso e decididamente pessoal dos versos, nos quais Damáscio lamenta consigo próprio as perdas sofridas no decorrer de sua longa e fascinante vida. Como veremos, tais perdas estão, em verdade, diretamente ligadas ao colapso do mundo (...) antigo e ao derradeiro golpe proferido por Justiniano contra a filosofia helênica pagã. (shrink)

Cosmological inflation is widely considered an integral and empirically successful component of contemporary cosmology. It was originally motivated by its solution of certain so-called fine-tuning problems of the hot big bang model, particularly what are known as the horizon problem and the flatness problem. Although the physics behind these problems is clear enough, the nature of the problems depends on the sense in which the hot big bang model is fine-tuned and how the alleged fine-tuning is problematic. Without clear explications (...) of these, it remains unclear precisely what problems inflationary theory is meant to be solving and whether it does in fact solve them. I analyze the structure of these problems and consider various interpretations that may substantiate the alleged fine-tuning. On the basis of this analysis I argue that at present there is no unproblematic interpretation available for which it can be said that inflation solves the big bang model’s alleged fine-tuning problems. (shrink)

This paper focuses on invasive therapeutic procedures, defined as procedures requiring the introduction of hands, instruments, or devices into the body via incisions or punctures of the skin or mucous membranes performed with the intent of changing the natural history of a human disease or condition for the better. Ethical and methodological concerns have been expressed about studies designed to evaluate the effects of invasive therapeutic procedures. Can such studies meet the same standards demanded of those, for example, evaluating pharmaceutical (...) agents? This paper describes a research project aimed at examining the interplay and sometimes apparent conflict between ethical standards for human research and standards for methodological rigor in trials of invasive procedures. The paper discusses how the authors plan to develop a set of consensus standards that, if met, would result in substantial and much-needed improvements in the methodological and ethical quality of such trials. (shrink)

This article explores the meeting of two approaches towards philosophy and education: the philosophy for children approach advocated by Lipman and others, and Schmid’s philosophical concept of Lebenskunst. Schmid explores the concept of the beautiful or good life by asking what is necessary for each individual to be able to develop their own art of living and which aspects of life are significant when shaping a good and beautiful life. One element of Schmid’s theory is the practical application of philosophy (...) through the notions of Bildung, reflection, prudence and practical wisdom, as well as the requirement for each individual to take responsibility for actively shaping their life as an artwork. In this sense, each person is the artist responsible for living their own beautiful life. We argue that there are useful parallels between Schmid’s concept of the art of living and P4C, such as the ideal of a holistic philosophy that is “lived.” The pragmatic approach of P4C focuses on the embodied learner who practices critical, caring and creative thinking. Both P4C and Schmid’s theory are reminiscent of the Aristotelian notion of practical wisdom, which allows for an approach to an education for life that prepares students to develop their own art of living. (shrink)

In a world awash in statistical patterns, should we conclude that the universe’s evolution or genesis is somehow subject to chance? I draw attention to alternatives that must be acknowledged if we are to have an adequate assessment of what chance the universe might have had.

Background If trials of therapeutic interventions are to serve society's interests, they must be of high methodological quality and must satisfy moral commitments to human subjects. The authors set out to develop a clinical - trials compendium in which standards for the ethical treatment of human subjects are integrated with standards for research methods. Methods The authors rank-ordered the world's nations and chose the 31 with >700 active trials as of 24 July 2008. Governmental and other authoritative entities of the (...) 31 countries were searched, and 1004 English-language documents containing ethical and/or methodological standards for clinical trials were identified. The authors extracted standards from 144 of those: 50 designated as ‘core’, 39 addressing trials of invasive procedures and a 5% sample of the remainder. As the integrating framework for the standards we developed a coherent taxonomy encompassing all elements of a trial's stages. Findings Review of the 144 documents yielded nearly 15 000 discrete standards. After duplicates were removed, 5903 substantive standards remained, distributed in the taxonomy as follows: initiation, 1401 standards, 8 divisions; design, 1869 standards, 16 divisions; conduct, 1473 standards, 8 divisions; analysing and reporting results, 997 standards, four divisions; and post-trial standards, 168 standards, 5 divisions. Conclusions The overwhelming number of source documents and standards uncovered in this study was not anticipated beforehand and confirms the extraordinary complexity of the clinical trials enterprise. This taxonomy of multinational ethical and methodological standards may help trialists and overseers improve the quality of clinical trials, particularly given the globalisation of clinical research. (shrink)

Background: Recent literature on addiction and judgments about the characteristics of agents has focused on the implications of adopting a ‘brain disease’ versus ‘moral weakness’ model of addiction. Typically, such judgments have to do with what capacities an agent has (e.g., the ability to abstain from substance use). Much less work, however, has been conducted on the relationship between addiction and judgments about an agent’s identity, including whether or to what extent an individual is seen as the same person after (...) becoming addicted. Methods: We conducted a series of vignette-based experiments (total N = 3,620) to assess lay attitudes concerning addiction and identity persistence, systematically manipulating key characteristics of agents and their drug of addiction. Conclusions: In Study 1, we found that US participants judged an agent who became addicted to drugs as being closer to ‘a completely different person’ than ‘completely the same person’ as the agent who existed prior to the addiction. In Studies 2-6, we investigated the intuitive basis for this result, finding that lay judgments of altered identity as a consequence of drug use and addiction are driven primarily by perceived negative changes in the moral character of drug users, who are seen as having deviated from their good true selves. (shrink)

Several authors have claimed that prediction is essentially impossible in the general theory of relativity, the case being particularly strong, it is said, when one fully considers the epistemic predicament of the observer. Each of these claims rests on the support of an underdetermination argument and a particular interpretation of the concept of prediction. I argue that these underdetermination arguments fail and depend on an implausible explication of prediction in the theory. The technical results adduced in these arguments can be (...) related to certain epistemic issues, but can only be misleadingly or mistakenly characterized as related to prediction. (shrink)

Learner’s attitude towards modular distance learning catches uncertainties as a world crisis occurs up to this point. As self-learning modules (SLMs) become a supplemental means of learning in new normal education, this study investigated efficiency towards the learners’ attitude and performance. Specifically, the study described the learners’ profile and their attitude and performance towards SLMs. It also ascertained the relationship between the learner’s profile with their attitude and performance, as well as the relationship between attitude and performance relevant to SLMs. (...) A descriptive-correlational research design was employed in the study with 88 non-randomly chosen participants from secondary schools in West Philippines. The learners’ GWA (general weighted average) was used to determine their performance and a survey questionnaire for their profile and attitude. Frequency counts, percentage, and Spearman’s rank correlation coefficient were used to analyze the data gathered with the aid of Jamovi software. Results revealed a strong correlation between attitude and performance, but there was no link between learner’s attitude and performance as to the learner’s profile. It was affirmed that attitude is a compelling factor that is related with performance. Hence, this research has broader ramifications that can direct the Bureau of Learning Delivery to orient the module writers to further contextualize the learning materials that can compound learner’s disposition and academic performance. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they (...) do “property essentialists”; those who do not, “property anti-essentialists,” or “quidditists.” We offer two complementary arguments. Our total argument is under-girded by two assumptions: transworld identity theory and “received view” counterfactual semantics, a la David Lewis. We then argue that, if one presumes that these are true, then one risks running headlong into paradox if one also accepts property anti-essentialism. That's the first argument. By contrast, if one accepts these same assumptions in conjunction with property essentialism, then the paradox is avoided. This is the second argument. We take it that our arguments work to show that, between property essentialism and quidditism, the property essentialist is on better footing. Plausibly, properties themselves do have essential properties for their existence. (shrink)

In this paper we argue that Socrates is a cognitivist about emotions, but then ask how the beliefs that constitute emotions can come into being, and why those beliefs seem more resistant to change through rational persuasion than other beliefs.

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

Functional diversity holds the promise of understanding ecosystems in ways unattainable by taxonomic diversity studies. Underlying this promise is the intuition that investigating the diversity of what organisms actually do—i.e. their functional traits—within ecosystems will generate more reliable insights into the ways these ecosystems behave, compared to considering only species diversity. But this promise also rests on several conceptual and methodological—i.e. epistemic—assumptions that cut across various theories and domains of ecology. These assumptions should be clearly addressed, notably for the sake (...) of an effective comparison and integration across domains, and for assessing whether or not to use functional diversity approaches for developing ecological management strategies. The objective of this contribution is to identify and critically analyze the most salient of these assumptions. To this aim, we provide an “epistemic roadmap” that pinpoints these assumptions along a set of historical, conceptual, empirical, theoretical, and normative dimensions. (shrink)

This paper explains how to use a new software tool for argument diagramming available free on the Internet, showing especially how it can be used in the classroom to enhance critical thinking in philosophy. The user loads a text file containing an argument into a box on the computer interface, and then creates an argument diagram by dragging lines from one node to another. A key feature is the support for argumentation schemes, common patterns of defeasible reasoning historically know as (...) topics . Several examples are presented, as well as the results of an experiment in using the system with students in a university classroom. (shrink)

Atualmente, biotecnologias são empregadas na forma de protocolos a fim de sincronizar o crescimento folicular e a ovulação, bem como permitir que vacas atuem como receptoras de embriões visando melhorar o potencial genético do rebanho. O objetivo desse estudo foi avaliar o efeito da utilização de implantes intravaginais de progesterona de 1º, 2º e 3º uso no protocolo de transferência de embriões em tempo fixo (TETF) sobre a taxa de prenhez em receptoras girolandas. O experimento ocorreu em uma fazenda localizada (...) no município de São Sebastião do Maranhão (MG). Foram utilizadas 74 vacas submetidas aos seguintes protocolos: No dia 0 (D0) administrou-se 2 ml de 17β-Estradiol e progesterona e foi colocado o implante intravaginal de progesterona. Estes implantes foram colocados de forma aleatória, sendo de 1° uso (grupo 1; n=15), 2° (grupo 2; n=24) ou 3° (grupo 3; n=35).No D8, os implantes foram retirados e administrou-se 2 ml PGF2α; 1,5 ml de eCG e 1 ml de 17β-Estradiol e progesterona. A inovulação dos embriões in vitroo correu no D (16) para todas as vacas que apresentaram um corpo lúteo. As variáveis qualitativas (prenhe ou não prenhe) foram comparadas em tabelas de contingência e analisadas pelo teste de qui-quadrado a 5% de probabilidade. Neste estudo não houve diferença estatística entre os grupos protocolados em relação ao aproveitamento como receptoras: 1º uso (53,3%), 2º (79,2%) e 3º (68,65). Ademais, observou-se uma taxa de prenhez entre os grupos de 37,5% para o 1º uso, 42,1% para o 2º e 33,3% para o 3º (P>0,05). Dentre as vantagens ao reaproveitamento dos implantes multiusos destaca-se a redução dos custos dos protocolos hormonais, já que a progesterona é o hormônio mais oneroso, desta forma, a maximização do uso reduz o valor final do protocolo sem prejuízos a taxa de prenhez. (shrink)

Citizen Satisfaction Index System (CSIS) was used to assess the delivery of support to education initiatives in the municipality of Banga, Aklan, Philippines. The samples were determined using multiple application of stratified random sampling approach. In accordance with the Philippine Statistical Authority's Data on Census Population and Housing for 2015, barangays having a bigger share of the population contributed more respondents to the 150 targeted participants. Following the inclusion criteria, the probability respondents were chosen using the Kish Grid. Pre-numbered questionnaires (...) were distributed, with odd numbers targeting male responders and even numbers targeting females. The following criteria were used to evaluate the respondents' assessments: awareness, availment of the program/service, satisfaction, and need for action. Furthermore, interviews were conducted to better understand and investigate the respondents' thoughts, behavior, and perspectives. The reasons for their reaction were also obtained. The data was provided in percentage as well as frequency distributions. The study inferred that awareness on alternative learning system and/or special education program should be improved since it is the only program that attained low rating for awareness. Most of the residents were not able to avail education programs because they have no household member who attends school. Majority of the respondents who availed the services were satisfied. However, scholarship and other assistance programs to students may be enhanced to improve service delivery. It is highly recommended by the citizens to improve accessibility to scholarship programs and other forms of financial assistance to students. (shrink)